(*
 * Copyright (C) 2011  INRIA and Microsoft Corporation
 *)

val pp_print_obligation : Format.formatter -> Proof.T.obligation -> unit;;
